On Design-time Modelling and Verification of Safety-critical Component-based Systems
نویسندگان
چکیده
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملDOVE: A Tool for Design Modelling and Verification in Safety Critical Systems
Safety critical computer-based systems are now in widespread use in Defence. A number of current standards such as the UK Defence Standards 0055 and 00-56 and the recently proposed Def (Aust) Standard DR5679 require the use of formal mathematical modeling and reasoning to provide sufficient assurance of safety of system design. The analysis of system design at an early stage is a crucial step i...
متن کاملAn Approach to Modelling and Verification of Component Based Systems
We build on a framework for modelling and investigating componentbased systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time.
متن کاملDistributed Embedded Safety Critical Real-Time Systems, Design and Verification Aspects on the Example of the Time Triggered Architecture
The Time Triggered Architecture (TTA) and its related communication protocol, TTP/C is an emerging communication principle for distributed fault-tolerant real-time systems. Typical applications are safety-critical digital control systems such as drive-by-wire and fly-by-wire. This paper highlights the hardware / software architecture and design of the first industrial single chip communication ...
متن کاملModelling Support for Design of Safety-Critical Automotive Embedded Systems
This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering – the EAST-ADL2 architecture description langua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Networked and Distributed Computing
سال: 2014
ISSN: 2211-7946
DOI: 10.2991/ijndc.2014.2.3.7